Resource-Bounded Baire Category: A Stronger Approach
نویسنده
چکیده
This paper introduces a new deenition of resource-bounded Baire category in the style of Lutz. This deenition gives an almost-all/almost-none theory of various complexity classes. The meagerness/comeagerness of many more classes can be resolved in the new deenition than in previous deenitions. For example, almost no sets in EXP are EXP-complete, and NP is PF-meager unless NP = EXP. It is also seen under the new deenition that no rec-random set can be (recursively) tt-reducible to any PF-generic set. We weaken our deenition by putting arbitrary bounds on the length of extension strategies, obtaining a spectrum of diierent theories of Baire Category that includes Lutz's original deenition.
منابع مشابه
Baire Categories on Small Complexity Classes and Meager-Comeager Laws
We introduce two resource-bounded Baire category notions on small complexity classes such as P, QUASIPOLY, SUBEXP and PSPACE and on probabilistic classes such as BPP, which differ on how the corresponding finite extension strategies are computed. We give an alternative characterization of small sets via resource-bounded Banach-Mazur games. As an application of the first notion, we show that for...
متن کاملBaire Category and Nowhere Differentiability for Feasible Real Functions
A notion of resource-bounded Baire category is developed for the class PC[0,1] of all polynomial-time computable real-valued functions on the unit interval. The meager subsets of PC[0,1] are characterized in terms of resource-bounded Banach-Mazur games. This characterization is used to prove that, in the sense of Baire category, almost every function in PC[0,1] is nowhere differentiable. This i...
متن کاملResource-bounded strong dimension versus resource-bounded category
Classically it is known that any set with packing dimension less than 1 is meager in the sense of Baire category. We establish a resource-bounded extension: if a class X has ∆-strong dimension less than 1, then X is ∆-meager. This has the applications of explaining some of Lutz’s simultaneous ∆-meager, ∆-measure 0 results and providing a new proof of a Gu’s strong dimension result on infinitely...
متن کاملCone normed spaces
In this paper, we introduce the cone normed spaces and cone bounded linear mappings. Among other things, we prove the Baire category theorem and the Banach--Steinhaus theorem in cone normed spaces.
متن کاملA Baire Category Approach to the Bang-Bang Property
Aim of this paper is to develop a new technique, based on the Baire category theorem, in order to establish the closure of reachable sets and the existence of optimal trajectories for control systems, without the usual convexity assumptions. The bangbang property is proved for a new class of “concave” multifunctions, characterized by the existence of suitable linear selections. The proofs rely ...
متن کامل